Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
881	Last Time ➜ Equations and Term Rewriting ➜ Confluence and Termination of reduction systems COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal languages Logic in computer science Mathematical logic Rewriting Critical pair Knuth–Bendix completion algorithm Lambda calculus Confluence Hoare logic Theoretical computer science Mathematics Programming language theory
882	Types Benjamin C. Pierce University of Pennsylvania Programming Languages Mentoring Workshop, Jan. 2012 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-01-24 16:24:25 Formal sciences Association for Computing Machinery Type theory Functional languages Principles of Programming Languages Formal language Formal methods Automata theory Programming language Computing Software engineering Programming language theory
883	KX SYSTEMS VERTICAL MARKETS pharmaceuticals Clinical Improvements Add to Reading List Source URL: kx.com Language: English - Date: 2014-05-02 10:37:31 Pharmacology APL programming language family Array programming languages Formal sciences Database management systems K Pharmaceutical industry Big data Simulation Data management Pharmaceutical sciences Science
884	Formal Language Theory for Natural Language Processing Shuly Wintner Department of Computer Science University of Haifa Add to Reading List Source URL: www.helsinki.fi Language: English - Date: 2002-07-09 08:11:04 Elementary mathematics Set theory General topology Finite set Cartesian product Set Finitary relation Empty set Function Mathematics Mathematical logic Binary operations
885	PDF Document Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2005-10-21 05:05:27 Computing Parser generators Compiler construction Formal languages Parsing LALR parser Yacc LR parser Compiler-compiler Programming language implementation Software Compiling tools
886	New Techniques for Regular Expression Searching Gonzalo Navarro† ∗ Mathieu Raffinot‡ Add to Reading List Source URL: www.dcc.uchile.cl Language: English - Date: 2008-08-14 13:15:26 Models of computation Computer science Combinatorics Combinatorics on words Nondeterministic finite automaton Regular expressions Deterministic finite automaton String searching algorithm Regular language Automata theory Formal languages Theoretical computer science
887	PVS Language Reference Version 2.4 • November 2001 S. Owre N. Shankar J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:58 Logic Data types Predicate logic Formal methods Type system Abstract data type Stack Function Dependent type Mathematics Type theory Mathematical logic
888	What to do and how to do it: Translating Natural Language Directives into Temporal and Dynamic Logic Representation for Goal Management and Action Execution Juraj Dzifcak and Matthias Scheutz and Chitta Baral and Paul Sc Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2009-12-09 21:12:19 Logic in computer science Lambda calculus Computability theory Formal methods Models of computation Combinatory logic Dynamic logic Modal logic Robot Mathematical logic Logic Theoretical computer science
889	ALGOL 60 W. M. Waite December 1, 2012 Abstract This document is an Eli specification from which an analyzer for ALGOL 60 can be generated, or which can be used as one component of a complete ALGOL 60 compiler. Its struct Add to Reading List Source URL: eli-project.sourceforge.net Language: English - Date: 2012-12-01 14:34:18 Procedural programming languages Formal languages Compiler construction Cross-platform software ALGOL 68 Lisp programming language ALGOL C Regular expression Software engineering Computing Programming language theory
890	Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions∗ Chita Baral and Juraj Dzifcak Tran Cao Son Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2008-11-11 15:26:22 Predicate logic Formal languages Philosophical logic Lambda calculus Combinatory logic First-order logic Categorial grammar Function Quantification Logic Mathematical logic Mathematics

UPDATE